Vietnamese dictionaries for mobile phones

reduction rule not found. Suggestions:

delta reduction

reduction strategy

parallel reduction

string reduction

Computational Adequacy Theorem

term rewriting system